1621. Wittgenstein and the end of philosophy: neither theory nor therapy
پدیدآورنده : Hutto, Daniel D.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Wittgenstein, Ludwig, 9881-1591. Tractatus logico-philosophicus.,، Logic, Symbolic and mathematical,، Language and languages - Philosophy
رده :
B
3376
.
W563
T733
1622. Wittgenstein's Tractatus
پدیدآورنده : / Matthew B. Ostrow
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus,Logic, Symbolic and mathematical,Language and languages- Philosophy
رده :
B3376
.
W563
,
T73545
2002
1623. Wittgenstein's Tractatus
پدیدآورنده : / Matthew B. Ostrow
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus,Logic, Symbolic and mathematical,Language and languages- Philosophy
رده :
B3376
.
W563
,
T73545
2002
1624. Wittgenstein's Tractatus
پدیدآورنده : Matthew B.Osrrow
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع : Wittgenstein, Ludwig,1889-1951.Tractatus logico-philosophicus,Logic, Symbolic and mathematical,Language and languagesPhilosophy
رده :
B
,
3376
,.
W563T73
1625. Wittgenstein's Tractatus
پدیدآورنده : \ edited by Peter Sullivan and Michael Potter.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Wittgenstein, Ludwig,1889-1951., Tractatus logico-philosophicus.,Logic, Symbolic and mathematical.,Language and languages -- Philosophy.,ویتگنشتاین، لودویگ، ۱۸۸۹ - ۱۹۵۱م. . رساله منطقی - فلسفی ,منطق ریاضی,زبان -- فلسفه
رده :
B3376
.
W56
T73
2013
1626. Wittgenstein's Tractatus
پدیدآورنده : / Matthew B. Ostrow
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus,Logic, Symbolic and mathematical,Language and languages- Philosophy
رده :
B3376
.
W563
,
T73545
2002
1627. Wittgenstein's early philosophy : three sides of the mirror
پدیدآورنده : Donald Peterson
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Language and languages - Philosophy,Logic, Symbolic and mathematical,Wittgenstein, Ludwig, - 1889-1951. - Tractatus logico-philosophicus
رده :
B
.
W563
,
T7356
3376
1990
1628. Word and Object
پدیدآورنده : / Willard Van Orman Quine
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Semantics (Philosophy),Logic, Symbolic and mathematical,Language and languages - Philosophy,معنی شناسی (فلسفه),منطق ریاضی,زبان - فلسفه
رده :
B840
.
Q5
1969
1629. Word and object
پدیدآورنده : / Willard Van Orman Quine
کتابخانه: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع : Semantics (Philosophy),Logic - Symbolic and mathematical,Language and languages - Philosophy
رده :
B840
.
Q5
1630. Word and object
پدیدآورنده : Quine, Willard Van Orman, 8091-0002
کتابخانه: (طهران)
موضوع : ، Semantics )Philosophy(,، Logic, Symbolic and mathematical,Philosophy ، Language and languages
رده :
B
840
.
Q56W6
1631. Word and object
پدیدآورنده : Quine, W. V.)Willard Van Orman(
موضوع : ، Semantics )Philosophy(,، Logic, Symbolic and mathematical,، Language and languages-- Philosophy
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
1632. Word and object
پدیدآورنده : Willard Van Orman Quine,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Semantics )Philosophy(,Logic, Symbolic and mathematical,Language and languages, Philosophy
رده :
B
.
Q5
840
1633. classical logics /-Arnon Avron on semantics and proof theory of non
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
1634. mathematical proof
پدیدآورنده : / Rowan Garnier, John Taylor
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
G367
1996
1635. 100,mathematical proof
پدیدآورنده : Rowan Garnier, John Taylor
موضوع : Proof theory,Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
1636. mathematical proof
پدیدآورنده : / Rowan Garnier, John Taylor
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
G367
1996
1637. 100% mathematical proof
پدیدآورنده : Garnier, Rowan.
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
G367
1996
1638. 100 mathematical proof
پدیدآورنده : Garnier, Rowan.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
G367
1996
1639. mathematical proof
پدیدآورنده : / Rowan Garnier, John Taylor
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
G367
1996
1640. Nonclassical logics and information processing : international workshop, Berlin , November 9-10, 1990 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Artificial intelligence-- Congresses
رده :
QA
76
.
5
.
N664
1992